Nuprl Definition : rv-const
11,40
postcript
pdf
a
(
s
) ==
a
latex
clarification:
rv-const(
a
)(
s
) ==
a
latex
Definitions
x
.
A
(
x
)
FDL editor aliases
rv-const
origin
x.A(x)x.A(x)